Total Books: 1 - 1 /1
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lire la suite
Total Books: 1 - 1 /1
